机译:TTCN-3-一种用于测试用例的规范和实现的语言
机译:基于形式化语言动态语义的形式规格,自动生成严格符合的测试
机译:针对面部照片规格的ISO / IEC 19794-5标准的自动一致性测试
机译:用于IPv一致性测试的新的正式测试套件规范语言
机译:老师的声音和参与制定大规模的标准驱动的测试的案例:基于印第安纳州外语学术标准,老师参与第三年高中法语课程结业考试的设计和构建的案例。
机译:市政垃圾焚化炉标准规范和测试
机译:编程语言标准中数值精度的规范和测试方法/
机译:编程语言标准中数字精度的规范和测试方法